A Language for Describing Concepts as Programs

نویسندگان

  • Claude Sammut
  • Brian Cohen
چکیده

A learning program produces, as its output, a boolean function which describes a concept. The function returns true if and only if the argument is an object which satisfies the logical expression in the body of the function. The learning program's input is a set of objects which are instances of the concept to be learnt. A compiler/interpreter has been written which performs the reverse of the learning process. The concept description is regarded as a program which defines the set of objects which satisfy the given conditions, The interpreter takes as its input, a predicate and produces as its output, an object which belongs to the set.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Cognitive Study of Conceptual Metaphors in English and Persian: Universal or Culture-Specific?

In the last 2 decades, studies on conceptual metaphors have profoundly increased. The development in this field was followed by Lakoff and Johnson's (1980b) work on describing the conceptual role played by metaphors and their correspondence with language and thought. This study aimed to compare conceptual metaphors in Persian and English through a corpus-based approach as well as examining both...

متن کامل

Godless words in a vassal’s language named Hallaj An Overview to “Shath” and their types in Hallaj’s poems

“Godless words” , “inspired paradox” and as mystics phrase it “Shath” is a language creation of a mystic’s enchanted soul’s excitement and necessity. This mystic is a person whom is confronted with an illogical subject on one hand and on the other hand he has to use logical language which is a deficient tool for describing the illogical subject. Today’s fair audience – Regardless of Controversy...

متن کامل

A Mathematical Toolbox for the Software Architect

It is suggested that Category Theory provides the right level of mathematical abstraction to address languages for describing software architectures. Contrarily to most other formalisations of SA concepts, Category Theory does not promote any particular formalism for component and connector description but provides instead the very semantics of the concepts that are related to the gross modular...

متن کامل

Features of Language Assessment Literacy in Iranian English Language Teachers' Perceptions and Practices

anguage assessment literacy (LAL), mainly defined as knowledge and skills of language assessment, in the last two decades, has started to receive the attention it deserves. As one of the significant findings, based on a plethora of research, many second language (L2) teachers have been indicated to be professionally incompetent in terms of LAL. To investigate the status of LAL among Ira...

متن کامل

Audiovisual Programs As Sources Of Language Input: An Overview

Audiovisual devices such as satellite and conventional televisions can offer easy access to authentic programs which are considered to be a rich source of language input for SLA (Second Language Acquisition). The immediacy of various audiovisual programs ensures that language learners’ exposure is up-to-date and embedded in the real world of native speakers. In the same line, in the present pap...

متن کامل

Audiovisual Programs As Sources Of Language Input: An Overview

Audiovisual devices such as satellite and conventional televisions can offer easy access to authentic programs which are considered to be a rich source of language input for SLA (Second Language Acquisition). The immediacy of various audiovisual programs ensures that language learners’ exposure is up-to-date and embedded in the real world of native speakers. In the same line, in the present pap...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1979